Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
RustNext: The Next.js-Inspired Web Framework for Rust
dev.to·17h·
Discuss: DEV
🦀Rust Borrowing
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·17h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·19h
🦀Rust Verification
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·11h·
Discuss: Hacker News
🎯Interactive Provers
Hazel: A live functional programming environment with typed holes
github.com·14h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
A Rust Shaped Hole
mnvr.in·21h·
Discuss: Hacker News
🦀Rust Macros
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
🔒Linear Types
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·1d·
Discuss: Hacker News, Hacker News
🦀Rust Borrowing
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·4h
🔧RISC-V Assembler
A distributed systems reliability glossary
antithesis.com·18h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·5h
🔌Interface Evolution
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics